1. Deducibility and decidability
پدیدآورنده : Gill, R. R. Rockingham
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Logic, Symbolic and mathematical,، Decidability )Mathematical logic(
رده :
BC
135
.
G495
1990
2. Deducibility and decidability
پدیدآورنده : Gill, R. R. Rockingham, 4491-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Logic, Symbolic and mathematical,، Decidability )Mathematical logic(
رده :
BC
135
.
G5